1. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel C.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، System design
Classification :
QA
76
.
9
.
M35I53
1992
